Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Classifying spaces and classifying topoi / / Izak Moerdijk
| Classifying spaces and classifying topoi / / Izak Moerdijk |
| Autore | Moerdijk Ieke |
| Edizione | [1st ed. 1995.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer-Verlag, , [1995] |
| Descrizione fisica | 1 online resource (X, 98 p.) |
| Disciplina | 514.224 |
| Collana | Lecture Notes in Mathematics |
| Soggetto topico | Classifying spaces |
| ISBN | 3-540-44912-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Background in topos theory -- Classifying topoi -- Geometric realization -- Comparison theorems -- Classifying spaces and classifying topoi. |
| Record Nr. | UNISA-996466660703316 |
Moerdijk Ieke
|
||
| Berlin, Heidelberg : , : Springer-Verlag, , [1995] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen
| Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen |
| Autore | Moerdijk Ieke |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (125 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Toposes
Mappings (Mathematics) |
| Soggetto genere / forma | Electronic books. |
| ISBN | 1-4704-0296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Table of Contents""; ""Introduction""; ""Chapter I. Proper Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 Beck-Chevalley Conditions""; ""Â4 Pretopos Sites""; ""Â5 Preservation under Pullback and Filtered Inverse Limits""; ""Â6 Propriety and Closed Maps""; ""Â7 Descent along Proper Maps""; ""Chapter II. Separated Maps""; ""Â1 Definition and Examples""; ""Â2 Formal Properties""; ""Â3 Hyperconnected Hausdorff Toposes""; ""Â4 Locally Connected and Locally Compact Maps of Locales""; ""Â5 A Topos Version of the Reeb Stability Theorem""
""Â6 The Classical Reeb Stability Theorem""""Chapter III. Tidy Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 The Beck-Chevalley Condition""; ""Â4 Stability under Change of Base""; ""Â5 Entire Maps""; ""Â6 Tidiness and Closed Maps""; ""Chapter IV. Strongly Separated Maps""; ""Â1 Definition of Strong Separation""; ""Â2 Elementary Properties""; ""Â3 Strongly Separated Coherent Toposes""; ""Â4 Galois Theory for Profinite Groupoids""; ""Chapter V. Relatively Tidy Maps and Lax Descent""; ""Â1 Path Toposes""; ""Â2 Lax Pullbacks of Toposes"" ""Â3 Relatively Tidy Maps""""Â4 Relatively Tidy Morphisms of Sites""; ""Â5 The Main Theorem""; ""Â6 Applications to Lax Descent""; ""References"" |
| Record Nr. | UNINA-9910480880603321 |
|
Moerdijk Ieke
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen
| Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen |
| Autore | Moerdijk Ieke |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (125 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Toposes
Mappings (Mathematics) |
| ISBN | 1-4704-0296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Table of Contents""; ""Introduction""; ""Chapter I. Proper Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 Beck-Chevalley Conditions""; ""Â4 Pretopos Sites""; ""Â5 Preservation under Pullback and Filtered Inverse Limits""; ""Â6 Propriety and Closed Maps""; ""Â7 Descent along Proper Maps""; ""Chapter II. Separated Maps""; ""Â1 Definition and Examples""; ""Â2 Formal Properties""; ""Â3 Hyperconnected Hausdorff Toposes""; ""Â4 Locally Connected and Locally Compact Maps of Locales""; ""Â5 A Topos Version of the Reeb Stability Theorem""
""Â6 The Classical Reeb Stability Theorem""""Chapter III. Tidy Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 The Beck-Chevalley Condition""; ""Â4 Stability under Change of Base""; ""Â5 Entire Maps""; ""Â6 Tidiness and Closed Maps""; ""Chapter IV. Strongly Separated Maps""; ""Â1 Definition of Strong Separation""; ""Â2 Elementary Properties""; ""Â3 Strongly Separated Coherent Toposes""; ""Â4 Galois Theory for Profinite Groupoids""; ""Chapter V. Relatively Tidy Maps and Lax Descent""; ""Â1 Path Toposes""; ""Â2 Lax Pullbacks of Toposes"" ""Â3 Relatively Tidy Maps""""Â4 Relatively Tidy Morphisms of Sites""; ""Â5 The Main Theorem""; ""Â6 Applications to Lax Descent""; ""References"" |
| Record Nr. | UNINA-9910788842403321 |
|
Moerdijk Ieke
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen
| Proper maps of toposes / / I. Moerdijk, J.J.C. Vermeulen |
| Autore | Moerdijk Ieke |
| Pubbl/distr/stampa | Providence, Rhode Island : , : American Mathematical Society, , [2000] |
| Descrizione fisica | 1 online resource (125 p.) |
| Disciplina |
510 s
512/.55 |
| Collana | Memoirs of the American Mathematical Society |
| Soggetto topico |
Toposes
Mappings (Mathematics) |
| ISBN | 1-4704-0296-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Table of Contents""; ""Introduction""; ""Chapter I. Proper Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 Beck-Chevalley Conditions""; ""Â4 Pretopos Sites""; ""Â5 Preservation under Pullback and Filtered Inverse Limits""; ""Â6 Propriety and Closed Maps""; ""Â7 Descent along Proper Maps""; ""Chapter II. Separated Maps""; ""Â1 Definition and Examples""; ""Â2 Formal Properties""; ""Â3 Hyperconnected Hausdorff Toposes""; ""Â4 Locally Connected and Locally Compact Maps of Locales""; ""Â5 A Topos Version of the Reeb Stability Theorem""
""Â6 The Classical Reeb Stability Theorem""""Chapter III. Tidy Maps""; ""Â1 Definition and Examples""; ""Â2 First Properties""; ""Â3 The Beck-Chevalley Condition""; ""Â4 Stability under Change of Base""; ""Â5 Entire Maps""; ""Â6 Tidiness and Closed Maps""; ""Chapter IV. Strongly Separated Maps""; ""Â1 Definition of Strong Separation""; ""Â2 Elementary Properties""; ""Â3 Strongly Separated Coherent Toposes""; ""Â4 Galois Theory for Profinite Groupoids""; ""Chapter V. Relatively Tidy Maps and Lax Descent""; ""Â1 Path Toposes""; ""Â2 Lax Pullbacks of Toposes"" ""Â3 Relatively Tidy Maps""""Â4 Relatively Tidy Morphisms of Sites""; ""Â5 The Main Theorem""; ""Â6 Applications to Lax Descent""; ""References"" |
| Record Nr. | UNINA-9910813654203321 |
|
Moerdijk Ieke
|
||
| Providence, Rhode Island : , : American Mathematical Society, , [2000] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Sets, Models and Proofs [[electronic resource] /] / by Ieke Moerdijk, Jaap van Oosten
| Sets, Models and Proofs [[electronic resource] /] / by Ieke Moerdijk, Jaap van Oosten |
| Autore | Moerdijk Ieke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XIV, 141 p. 39 illus.) |
| Disciplina | 511.3 |
| Collana | Springer Undergraduate Mathematics Series |
| Soggetto topico |
Proof theory
Algebra Structures and Proofs |
| ISBN | 3-319-92414-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Introduction -- 1 Sets -- 2 Models -- 3 Proofs -- 4 Sets Again -- Appendix: Topics for Further Study -- Photo Credits -- Bibliography -- Index. |
| Record Nr. | UNINA-9910300124703321 |
|
Moerdijk Ieke
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||